週次 |
日期 |
單元主題 |
第1週 |
3/03 |
00. Class Introduction
01. Introduction to Design Verification |
第2週 |
3/10 |
01. Introduction to Design Verification |
第3週 |
3/17 |
02. Formal Verification and Formal Property Specification |
第4週 |
3/24 |
03. Introduction to Binary Decision Diagram (BDD) |
第5週 |
3/31 |
04. Advanced BDD Techniques |
第6週 |
4/07 |
05. BDD-Based Verification |
第7週 |
4/14 |
06. Introduction to Boolean Satisfiability (SAT) |
第8週 |
4/21 |
07. Advanced SAT Techniques |
第9週 |
4/28 |
08. Bounded Model Checking |
第10週 |
5/05 |
09. Unbounded Model Checking |
第11週 |
5/12 |
09. Unbounded Model Checking |
第12週 |
5/19 |
10. Property-Directed Reachability (PDR) |
第13週 |
5/26 |
10. Property-Directed Reachability (PDR) |
第14週 |
6/02 |
11. Application of SAT on Logic Synthesis |
第15週 |
6/09 |
12. From Satisfiability to Optimization |
第16週 |
06/16 |
Final Exam |
第17週 |
06/23 |
Final Project Due |